Working on PROBCORE-404 Translation of the .pbo and .pbr files.
PROBCORE-404 Working on implementing proofs
PROBCORE-404 New test case for complete proof works!!!!!!!