Hi,
we had similar issue when migrating rulebook from 5.3 to 10.0. The reason was that during upload ARA applied slightly different logic for AND/OR, my suggestion would be first to download the rulebook from ARA (via GRAC_DOWNLOAD_RULES) and compare (e.g. in Excel) with that from Virsa if all the rules match each other (on permission level). If yes - then please check on selected function what are the discrepancies and post here some examples
Best regards, Andrzej.