Refactoring the tests - now pushd and popd are in main
Added test for scenario_8
Corrected so that scenario_8 passes on positive test.
Apparently you need at least on commit to see the branches
Added basis for scenario_9 and tests for scenario_9
Modifying so as to improve and correct the verification
Corrected the verification of scenario_9