The type checker assumes that the type of variable $! is the return type of the target method. However, this is only valid for AT EXIT rules. In an AFTER CALL rule the type should be the return type of the method which has just been called.