removed "expr ::= LOAD_ASSERT" to fix Assertion statements