a positive test case for `--check-afm` with inheritance

this should not result in an error during the check