global_hypothesis_verification.cpp well formatted