Look-back Techniques for ASP Programs with Aggregates