Function comparison_of 

fn comparison_of<'hir>(
    hir: &'hir Hir<'hir>,
    expr: &'hir Expr<'hir>,
) -> Option<Comparison>

Extracts a comparison over one resolved integer variable, normalizing constants on the left.