arith more info
isvoid
compare more info
SELF_TYPE as a class
getMethod
return type not exist
neg -> int
object env from super class
object env from super class
some methods against infinite loop