Goal:
    n : t  m : t  p : t
  ============================
   (n <= m -> p + n <= p + m)


DEBUG:Going to execute:
PTRDEBUGTACdestruct n, m, p; cbn