nitc :: APropdef :: variables=
# The variables contained in the body on this propdef var variables: HashSet[Variable] = new HashSet[Variable] is lazy