improving performance on methods querying variables from terms
improving on quantified term converters