Monolithic encodings now working with clingo 4 ...