Remove branch? precondition