finished the support for referencing query arguments as symbols in the textual representation of the goal