Why can't we use init_expected here, making init_file (which is identical to init_expected) redundant ?
Would the reuse make the system skip the second attempt, making the test vacuous ?