Make simplification recognize other types of simplification.
Fix issues with nomem calls with same arguments not being considered equal