release Clafer v0.3.3.14-8-2013
release Clafer v0.3.3.14-8-2013
a positive test case for `--check-afm` with inheritance

this should not result in an error during the check
Fixed a bug for i199 where it would also check abstract clafers
Merged `develop` into Hierarchy