x<=n:6 states - 0ms
 (h(n,x))=>x<=n):4 states - 0ms
  (A n , x (h(n,x))=>x<=n)):1 states - 0ms
Total computation time: 0ms.