Return statement tests for check6a.
Added tests for check6a; fixed check 5 to match.
Added tests for check 6b.
Added tests for check 6c.