simplify construction of counter network by removing an impossible case