basic invariant checking
prunning
most tests fail