void (final @NotNull ImperativeCommand.Environment env) { try { if (!records.isEmpty()) { final int recordIndex = env.generateValue(Generator.integers(0, records.size() - 1), "Attribute to delete: #%s"); final AttributeRecord recordToDelete = records.remove(recordIndex); attributes.deleteRecord(recordToDelete, storage); assertFalse( recordToDelete.existsInStorage(storage) ); } } catch (IOException e) { throw new AssertionError(e); } }