add user patterns to the Smt1 parser; update NEWS file