private ParametricStructure elemStructure(ConstraintVariable2 v) {
   return fElemStructureEnv.elemStructure(v);
 }
 private void setElemStructure(ConstraintVariable2 v, ParametricStructure t) {
   fElemStructureEnv.setElemStructure(v, t);
 }