Resize Kill Isabelle Icon. Fixes #278.
Test for #252 (fixed in Overture).
Add test for #252 identified as such.
Update test result with improved pogging of atomic assignments
Add test for #259 (fixed in Overture).
Merged with origin/development. Small improvements to the formula script to improve performance.
Merge remote-tracking branches 'origin/newpog' and 'origin/acf' into jwc/base