Add a way to assert for SP correctness.