add test for generated assertions entry point (standard, soft and bdd)