Merge branch 'develop' into 'master'

Fixed null division for cases in which only exclude symbols are produced

See merge request !27
3 jobs for master in 5 minutes and 47 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Windows
passed #632895
Windows10
masterJobWindows

00:01:49

 
  Linux
passed #632897
BranchJobLinux

00:03:37

passed #632896
masterJobLinux

00:03:57