Additional assertions for test preconditions