XXX

1. add hasattr check for assumptions
2. filter cls for (Symbol, Dummy, Wild) to deal with
   numerous failures of the Symbol-derived classes in sympy/physics
Fix typo in the Wester's test H33