Merge branch 'ExecutionSemantics' into 'master'

Execution semantics

See merge request !24
1 job for ba_kisov in 1 minute and 32 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Linux
passed BranchJobLinux #1512320

00:01:32