variableNames_in_ast return set of variableNames