Added many TODOs.
Added some constants.
Defined this and super at the beginning, we might want to do this in
DuplicateVarVisitor as well.
Fixed checkBinaryExprNode method.