adding 'asserts' in class LexiconFunctions.php