Possible issue with symmetry breaking constraints in ILASP's hypothesis space generation

[krgallagher]

The hypothesis: be_color(V1,V2) :- be(V1,V4), be_color(V3,V2), be(V3,V4) is not in the search space generated from the program below.

Contents of Learning File:
#modeb(be(var(nnp),var(nn))).
#modeb(be_color(var(nnp),var(color))).
#modeh(be_color(var(nnp),var(color))).
#maxv(4).

Flags run with ILASP: -s -ml=3

Search space output:
1 ~ :- be(V1,V2).
1 ~ :- be_color(V1,V2).
2 ~ :- be(V3,V4); be_color(V1,V2).
2 ~ :- be(V1,V3); be_color(V1,V2).
3 ~ :- be(V3,V4); be_color(V1,V2); not be_color(V3,V2).
3 ~ becolor(V1,V2) :- be(V1,V4); becolor(V3,V2).
3 ~ :- be(V1,V4); be(V2,V3); not be(V1,V3).
3 ~ :- be(V3,V4); be_color(V1,V2); not be(V1,V4).
3 ~ :- be_color(V1,V4); be_color(V2,V3); not becolor(V2,V4).
3 ~ :- be(V1,V4); be(V2,V3); not be(V2,V4).
3 ~ :- be_color(V1,V4); be_color(V2,V3); not be_color(V1,V3).
4 ~ be_color(V1,V2) :- be(V1,V4); be_color(V3,V2); not be(V3,V4).
4 ~ be_color(V1,V2) :- be_color(V1,V4); be_color(V3,V2); not be_color(V3,V4).