removed implication from gripper empty precondition