Use of the MIR-2 computer for program analysis