title: Apply simplification assuming some formulas are true
body: <p>I would like to simplify a boolean formula assuming other formulas are true, in a similar fashion to how one can <code>(check-sat-assuming)</code> for satisfiability. For example, let's assume I know that <code>a</code> is true: I'd like <code>(and a b)</code> to be simplified to just <code>b</code>.</p>
  <p>The formulas assumed to be true are not necessarily atomic, and may be more complex.</p>