Checkpoint: Runs precondition for :coincident joint-primitive.