Demanded Abstract Interpretation