tion points</h4>

  <p>UML junction points are not supported because arbitrarily complex guard
  expressions can easily be implemented with
  <code>custom_reaction&lt;&gt;</code>s.</p>

  <h4>Dynamic choice points</h4>

  <p>Currently there is no direct support for this UML element because its
  behavior can often be implemented with
  <code>custom_reaction&lt;&gt;</code>s. In rare cases this is not possible,
  namely when a choice point happens to be the initial state. Then, the
  behavior can easily be im