Report non-support of DECISION ANY in Ada backend
Refactor Ada backend (minor)
Refactor Ada backend (minor)
Refactor Ada backend (minor)
Add comment in Ada backend