extract test pages and assumed violations from test cases
new class BitvUnit to provide all commonly used methods