Overloading == for String. Semantic check in PrintLineNode. Semantic check undefined variable.