For each state s, for each element-attribute event e1, - test s, e1 - if s,
e1 is not an error + test s, e1; Description; test s,e1, eg:prop; test s, e1,
end; for each element-attribute event e2 + test s, e1, e2 if s, e1, e2 is not
an error
author: Jeremy J.