i<x:6 states - 0ms
 (hp(n,x))&i<x):18 states - 0ms
  (E x (hp(n,x))&i<x)):8 states - 0ms
Total computation time: 0ms.