Abstract Solvers for Computing Cautious Consequences of ASP programs