How to use preconditions properly? - Sapphire - Imagine a Framework