AIDA: A Dynamic Analyzer for the ADA Language