Fix SugenoFirstOrder
Improve sugeno examples