Assert non-empty control flow nodes, closes Moore#215

Rosen Matevrequested to merge
rm-non-empty-composite-nodes into master

To be merged after Moore!833 (d5527e63) which removes the creation of empty composite nodes.

Merge request reports