Adding unit tests and adding basic Precondition ex