@Test
public void testProcessResult() {

	IEvalElement element = new ClassicalB("1<3", FormulaExpand.EXPAND);
	final CompoundPrologTerm lpt = mkResult("true");
	ISimplifiedROMap<String, PrologTerm> m1 = key -> lpt;
	EvaluateFormulaCommand command = new EvaluateFormulaCommand(element,
			"root");
	command.processResult(m1);
	AbstractEvalResult value = command.getValue();
	assertEquals("true", ((EvalResult) value).getValue());
	assertEquals("3", ((EvalResult) value).getSolutions().get("a"));
}