Fixes to diagnostics.
Testing Leo logic for unit rules.