PROBCORE-160 imported Job framework from ProB 1. CBC checking now works.