Python project for Specification by Example