In my previous employment we (I) successfully migrated a Microsoft Dynamics Nav 2009 application from SQL Server 2008 R2 clustered instance to a 3 node SQL server 2012 Always On availability group. This involved lots of testing but absolutely NO changes to the Nav code.