Configurations only contains useful bitvectors
Deletion of useless vertices was not forbidden in reversible pebbling.
Stop if there are different useful_flags for the same configuration
Variants on the abort condition
Merge branch 'test_useful_flags' of github.com:MassimoLauria/pebble into test_useful_flags