Implement the cases of basic pass and basic failure
Pass all test of ProhibitVoidMap
Add test for unless