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