Test Prog/13 fails for unknown reasons

Test 13 fails for reasons not understandable to me. Currently the testsuite has this test as an expected fail. So whoever has an idea....