Camfort.Specification.Units.InferenceFrontend
doInferUnits