Atom first tests; Context first tests; SymbolicExpression trait