Extension. getInt() is now only called when deciding transitions. Let's
keep it that way. Otherwise JPF listeners will be VERY difficult to
configure.