Small fixes on ASMTransformer class