Could I write a LatticeOp._eval_subs
that catches exceptions, concludes if it can and reraises the exceptions if it cannot conclude ?
For exemple Or(True, raise A)      return True,
 And(True, raise A, False)            return False
but And(True, raise A, True)        raise  A