added verifications and message errors for invalid ProB directories