!!SimTree behavior specification

The inner logic of SimTree tries to ensure methodical correctness
while enabling flexibility for the user. For this SimTree executes
build-in consistency checks and the simulation control follows defined
rules for predefined method work flows.

More information is available in the following sub topics. Type
SimTree [@c]spec-<Topic> to view this content:

%pre
  wording         Terms and Definitions
  goals           SimTree design goals
  consistency     How SimTree tries to ensure consistency
  execute         How SimTree executes simulations and evaluations
  specials        Corner cases and specialities
  
