void caseAction(NodeRepresentation nodeRep){
  makeProof(nodeRep,false,false);
}

void caseAction ( NodeRepresentation nodeRep ) { makeProof ( nodeRep , false , false ) ; }
create the proof for a case - split .
