fn statement_eq<'tcx>(
    lhs: &StatementKind<'tcx>,
    rhs: &StatementKind<'tcx>
) -> bool