DaikonInferCommon.infer("bst") ;