Clarify stochastics in write-a-constraint and try to fix the 'mermaid'

Clarify stochastics in write-a-constraint and try to fix the 'mermaid' #1429