Camfort.Specification.Units.InferenceFrontend

initInference

runCriticalVariables

runInferVariables

runCompileUnits

runInconsistentConstraints

getConstraint

puName

puSrcName