Fix testGenerateTransitionsWithExpressions()