Function context_forces_masked_expr 

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

Implements the context_forces_masked_expr symbolic expression helper.