added the test for assumption and improved the assumption to only block the scope