Added in ProB Wrapper and updated conf