SmallCheck with quoted terms

  Stuck with functions depth