more compact assign clauses for state variables, and remove useless memory pack predicates and assertions
more compact assign clauses for state variables, and remove useless memory pack predicates and assertions