Add reduced congruence both branches dead test

Add reduced congruence both branches dead test #1806