Debut output now also contains decomposition facts
ASP checks now throw an exception if violated and can be switched off with the flag DISABLE_ASP_CHECKS