Function Assume 

pub fn Assume(operand: bool)

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