k>=2:4 states - 0ms
 (k>=2&f((k-1),l))):15 states - 1ms
  ((k>=2&f((k-1),l)))&f(k,(l+1)))):1 states - 0ms
   (E k , l ((k>=2&f((k-1),l)))&f(k,(l+1))))):1 states - 0ms
    ~(E k , l ((k>=2&f((k-1),l)))&f(k,(l+1))))):1 states - 0ms
Total computation time: 1ms.