1. policy.ma 2. compiler.ma 3. aSMCostsSplit.ma