Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis