<<Actor>> ASM {Analysis}