Refactoring JKind API towards dynamic execution (mainly for UIs)