print realizable/unrealizable
untracked preds work
tidy
early termination
print num of untracked vars