Function context_forces_masked_expr 

pub(crate) fn context_forces_masked_expr(
    context: &[SymBoolExpr],
    target: &SymExpr,
    mask: U256,
) -> bool