more tests for ILP decoder, don't add edges to solution twice