Added AF-adapting functions

+ Added adaptTo for SetArguments
+ Added adaptTo for Labelling
~ Changed temporary prefSAT solution with a call to adaptTo
+ Added calls to adaptTo in places where it should be useful
First improvements over fixed version

See "First improvements"
Small fixes

Improvements still not fully fixed
Fix tentative
Merge branch 'incrementalOpt' into uberOpt

Conflicts:
	src/Preferred_pref.cpp