Annotations are now attached to assertions as expected. CLI output improved. Bug with transform functions fixed.