Uncommented certain SPARK2014 constructs in package BER.