Implementation of PyLit4 using TDD