\lstdefinelanguage{EVL}
{morekeywords={for, import, pre, post, context, kindOf, high, medium, low, constraint, critique, check, do, message, title, fix, not, guard, in, and, or, operation, return, var, def, if, new, else, delete, switch, case, default},
sensitive=true,
morecomment=[l]{//},
morecomment=[s]{/*}{*/},
morestring=[b]",
showstringspaces=false,
}