Merge branch 'ExecutionSemantics' into 'master'

Execution semantics

See merge request !26
3 jobs for master in 4 minutes and 8 seconds (queued for 1 second)
Status Job ID Name Coverage
  Test
passed #1366738
githubjob

00:00:59

passed #1420008
masterJob

00:03:09

passed #1366739
masterJob

00:02:50