treat the freeVariable accumulator array like a set, and forbid duplicates. (TODO: switch this to a hashtable)