removed "expr ::= LOAD_ASSERT" to fix Assertion statements (issue #14)