Merge branch 'ExecutionSemantics' into 'master'

Execution semantics

See merge request !19
2 jobs for master in 56 seconds (queued for 1 second)
Status Name Job ID Coverage
  Linux
passed masterJobLinux #1419413

00:00:56

82.0%
passed masterJobLinux #1367125

00:00:53

82.0%