Escape SMT sort annotation with HTML codes
Format smt::Func declaration in HTML page