Function eval_lock_condition 

fn eval_lock_condition(
    hir: &Hir<'_>,
    expr: &Expr<'_>,
    lock_var: VariableId,
    entered: LockValue,
) -> Option<bool>