aco: ensure predecessors' p_logical_end is in WQM when a p_phi is in WQM