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