Function bool_contains_gasleft 

pub(crate) fn bool_contains_gasleft(expr: &BoolExpr) -> bool

Returns whether a boolean expression depends on the opaque GAS / gasleft() value.