First migrations to Symbolic

Changed the headers in Preferred.h
Adapted the whole pref function
Adapted main.cpp to reflect the new pref
Corrected a flaw in pref and adapted SCCSEQ
Grounded adapted
Deleted adaptTo method from Labelling class
Boundcond adapted