Makes ->msg use mem's original form.
Removes useless memory? predicate.
Makes syntax checking for add table driven.