Add seperate Partition unit test(s?)
with(Hakaru):
with(NewSLO):
with(Partition):
with(KB):

TestHakaru(Partition(a<b, VAL, b>a, VAL), VAL, label="Partition with identical bodies");