Compute the phonies set once
TODO
Clean up Binary insances in TimeInstances