precondition added to test cases