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