tweaks to work with gringo 3 encodings

caspo design is removed due to hard dependency on clingo 4