aco: refactor try_remove_trivial_phi() in RA