add icon to randomize the formula + PSL>LTL diagnostics

1 job for master in 1 minute and 33 seconds
Status Job ID Name Coverage
  Build
passed #14786
compile

00:01:33