SPARK Simplifier Pro Edition


Reading update_context.fdl (for inherited FDL type declarations)
Processing update_context.vcg ...
Simplified VC: 1 - All conclusions proved
Simplified VC: 2 - All conclusions proved



Automatic simplification completed.

Simplified output sent to update_context.siv.
