validated SemPredEvalLexer