A2L

An efficient engine for ATL