MethodAccess.typestateCheck()