DaikonInferCommon.infer("triangle") ;