XorReduction -- A specializer built on the ASP SEJITS framework ------- XorReduction is based on ctree for more information on ctree see ctree on github.