Fix SPARK warning regarding interfering context