Email Record: Abstract interpretation of declarative languages /