Function is_optimization_invariant 

pub fn is_optimization_invariant(func: &Function) -> bool

Returns true if the function returns int256, indicating optimization mode. In optimization mode, the fuzzer maximizes the return value instead of checking invariants.