JUnit-testing-for-BVA-Worst-Case