Directory Listing
Extended test cases with a mandatory check instruction that always fails.
Added an example to verify that the entities in unreachable code are considered initialized and properly set.