changed the syntax of exprlist-assert
added a missing COPY_SRC in the statemachine generator