Delphin.loadFile ("examples-delphin/carsten/prop-calc/prop-calc.elf", "examples-delphin/carsten/prop-calc/equiv.delphin");