Sped up ASM transformations