public void setAssignmentProperty(PROPERTY p, boolean v) {
   if (varPropertiesForAssignment == null
       || varPropertiesForAssignment == VariableProperties.defaultProperties) {
     varPropertiesForAssignment = new VariableProperties();
     varPropertiesForAssignment.setProperty(p, v);
   } else {
     varPropertiesForAssignment.setProperty(p, v);
   }
 }