test11 has not been passed.

Hint: never design a model whose behavior depends on the execution sequence
      of multiple transitions in different orthogonal components.

The behavior of the code generated by SCC is different from the behavior of
the simulation in SVM.
