Add print_OptionsContext to debug OptionsContext