The next incarnation of StoryTeller for Executable Specifications