public InferenceVariable newInferenceVariable(){
  return newInferenceVariable(false);
}

public InferenceVariable newInferenceVariable ( ) { return newInferenceVariable ( false ) ; }
introduce a newly generated inference variable to the constraint system of the receiving inference context .
