Output string rep of Isabelle goal with constants renamed