Pre-condition not met in function testPre
