Removed old ProB