simplify target_is_pushed