splitting clasp solver propagation to have propagateNewNogoods as extrac function