Proof of correctness

[iceghost]

This package works in most cases. However, I cannot guarantee that this works for every cases possible.

One easy way to do this is adding a validate function to check if the resolved timetables is faithful to the original raw timetables. This way we can keep most of the correct cases and break if something bad happens and fix it later.