Delphin.loadFile ("examples-delphin/carsten/prover/nd.elf", "examples-delphin/carsten/prover/prover.delphin");