fix missing name in pretty printer declare-fun