Simplifying for ASM