Add missing test preconditions