temporarily set lexer to Text Only for Alloy