Until now the program terminated with a segmentation fault which was not very user friendly... * Got rid of a strange construction in the TRIM.SP handler (vector<pair> -> map)