>> I actually had no idea Ada had such a thing as "Expression functions".

The John Barnes book mentioned in the article covers some of the differences between the Ada language versions.

Expression functions were added in Ada 2012 and directly support preconditions, postconditions, and various aspects in SPARK 2014.