A* for Deadlock Detection in CCS processes