#5908: add a default representation to a term with no representation