$afterread boolean false $methods ExpressionStatement MethodInvocation $call read $call $afterread after true send $call $States.$afterread == true $call $methods