adding tests for these cases, too one needs both checks, each test triggers a different assert or crash