Fixed memory bug (correctly emiting NonInterference constraints to Prolog)