Mapping inherited types test

- Implement a test as a proof that mapping derived types using base type
  rules is working not properly for multiple derived types