Updated monolithic encodings to work with new versions of clingo.