Completed B functionality and included picture of successful test case