the maximum number of variables available in this function at a time (max var id + 1). assinged after checkAST
See Implementation
the maximum number of variables available in this function at a time (max var id + 1). assinged after checkAST