On the role of Abstract Non-Interference in language-based security