Towards ATL 0.0050