arguments to functions are parsed as variableValues (with datatypes in functionDeclarations)
SignAnalysis works intraprocedurally, is fully implemented but doesnt work yet interprocedurally