Fixes #10 Generate Soft assertions
Fixes #8 Generate BDD Assertions entry point file