Fix OpamFormula.eval