Function stmt_rejects_lock_value 

fn stmt_rejects_lock_value(
    gcx: Gcx<'_>,
    stmt: &Stmt<'_>,
    lock_var: VariableId,
    entered: Operand,
) -> bool

True if stmt reverts whenever lock_var holds entered.