Function assume

pub fn assume(x: impl IntoExpr) -> Result<Expr>

A statement that cond holds, for simplifications (C++ assume, prim.assume).