AA() from eigentechniques can now be integrated into s2dverification