workaround problem with catch that happens with some compilers?
workaround problem with catch that happens with some compilers?

peschue/clingo,potassco/clingo,peschue/clingo,peschue/clingo,potassco/clingo,potassco/clingo,peschue/clingo,potassco/clingo