[RAPPS] Extensive conversion to ATL and general improvements