one characteristic machines should yield empty test suite now