Precondition doesn't return an error message - Sapphire - Imagine a Framework