Ada Formally defined Subset

Verifiable Ada