variableName changed from AST_Sring to string since we need not a pointer but an actual string
Unknowns nodes are added to the graph plus some extra auxiliary functions