this is a running version with an attempt to realise blending as ASP search. I decided to do the blend search within Python for now, because it seems easier. the problem is, that the model that is produced by solving the generalisation search can not be passed to the blend search. In other words, when doing the blend search, we would have to check consistency of the blend. This however is only possible with having access to the model of the generalisation search, because we need the information which generalisation actions have been executed for the blending.