check
added spark2014 expected
added support for pred and succ
added support for inter-package method calls
added support for case statements, aggregates, private types, deferred
consts, cast exp
updated expected results
updated gnat2xsd to 7.2.0rc (20131028)
check