adding assertions in functions file lexiconBC