docs: public boolean getOption(OPTIONS op) {
  		if (op.equals(OPTIONS.AUTO_PROPAGATE)) return autoprop;
  		else if (op.equals(OPTIONS.NO_PROP_ON_VAR_CREATION)) return noPropOnVarCreation;
  		else if (op.equals(OPTIONS.MANUAL_PROPAGATE)) return !autoprop;
  		else if (op.equals(OPTIONS.DOMAINS_AUTO_INSTANTIATED)) return domainsAutoInstantiated;
  		else if (op.equals(OPTIONS.DOMAINS_MANUALLY_INSTANTIATED)) return !domainsAutoInstantiated;
  		return false;
  	}