added --skip-goals to clafer call. Simple test case without inheritance.
using --check-afm when calling clafer to ensure afm