If the "liveness" option of a goal is not included then the tool is interpreted as if all states where satisfying the liveness. Which is wrong as an empty goal is satisfied by no state.
