Added breaking tests to SBLVerifyTest.