public virtual string GetPredicateDisplayString(SemanticContext.Predicate pred) { if (indexToPredMap == null) { indexToPredMap = GetIndexToPredicateMap(); } ActionAST actionAST = indexToPredMap[pred.predIndex]; return actionAST.Text; }