Test that assumes file is always created
Hacks to klee to simulate possible failing open