Fixes #12 Generate soft assertions entry point