DaikonInferCommon.infer("xpool") ;