add test for the withLexFile case