Add width measurement
Make width the standard criterium for choosing premise
Merge Paradoxika/Skeptik/develop