adding assertions in class check_currentSyn_in_scenarios file lexiconBC