Function Assume

fn Assume(operand: bool)