docs: public void setOptions(OPTIONS ...ops) {
  		for (OPTIONS op : ops)
  			if (op.equals(OPTIONS.AUTO_PROPAGATE)) autoprop = true;
  			else if (op.equals(OPTIONS.NO_PROP_ON_VAR_CREATION)) noPropOnVarCreation = true;
  			else if (op.equals(OPTIONS.MANUAL_PROPAGATE)) autoprop = false;
  		    else if (op.equals(OPTIONS.DOMAINS_AUTO_INSTANTIATED)) domainsAutoInstantiated = true;
  			else if (op.equals(OPTIONS.DOMAINS_MANUALLY_INSTANTIATED)) domainsAutoInstantiated = false;
  	}