****** Fatal Error: Must not use old inside some old expression (VAOL.2). The source lines relevant to this message are the following: Line 13 columns 30, 39 in BAD_OLD1 (/home/cadrian/Workspace/Dev/Liberty/test/language/error_warning_msg/bad_old1.e): illegal_assert: i = old (1 + old i) ^ ^ ------