positive and negative tests for --check-afm
added missing / when running ecore2clafer
merged `develop` into Hierarchy