An static analyzer for ATL