Function Assume

pub fn Assume(operand: bool)