Logic Assessment for Ada application