Minor fixed in export of an arith. statement
Fixing arrival cost computation; temporary one