Simplify termination measures

- Number of specialisations of a function is now simply counted
  Once this number hits a predefined limit, a termination response
  is triggered.
- Total number of inlinings determines now determines inlining
  termination. Previously, multiple  inlinings of the same function
  in one bottomup traversal were counted as one.