remove benchmarking code
andAbstract
option to disable reordering
untracked preds work
tidy
early termination
print num of untracked vars