added support for more cases and examples; descriptive failure