Splits code across multiple files again.
The files are programmatically reintegrated when a SpecChecker is made.
Have a single file makes it easier to distribute and eliminates
dependencies, which make updating the SpecChecker utilities difficult.