Function Assume 

pub fn Assume(operand: bool)

🔬This is a nightly-only experimental API. (custom_mir)

Available on non-crate feature ferrocene_certified only.