Added TableExpr test, fixed NodePrinter for TableExpr, AssignStmt now
checks its invariant