Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators