private void transformToRegularForm(String option) throws ConfigurationException, ConsoleException,
			UnrecognizedCommandException, NullValueException {
		if (!isTheoryModified) return;

		Command transform = commands.getCommand(Transform.COMMAND_NAME);
		String opt = "".equals(option.trim()) ? "" : transform.getOptionName(option);
		if (null == opt) throw new UnrecognizedCommandException("option [" + option + "] not found");
		if (opt.startsWith("regu")) return;

		console.printf("theory is modified, perform regular form transformation? (Y/N) ");
		String isTransform = scanner.next().trim();
		if ("y".equalsIgnoreCase(isTransform) || "yes".equalsIgnoreCase(isTransform)) {
			Object result = transform.execute("regu", theory, conclusions, null);
			if (null != result) theory = (Theory) result;
			isTheoryModified = false;
		}
	}