First anal and dp compilation by Navi