Removed the configuration pragma setting SPARK_Mode. The Auto mode works better without it (in the current version of the tools).