How to correctly write preconditions in test cases

UP