Use symbol operator for boolean expression
Add AUOM to corpus test
Correctly avoid mutations that produce differend AST but same source

* Add detection for this case in Example::Verification
* Revert source location killing Normalization after parse.
* Closes #198