It is common practice to directly use the type value of each variable as an index and maintain a set of sites for each type.
maintaining a (r 1 , r 2 , r 3 ) triple for each node in the chosen tree is too memory heavy in our appli-cation.