Fixes #4: Combinations of verify() and when() are now possible