let
pp_goalx fmt g = pp_goal fmt
""
g