Fix unchecked
Rename method
Fix unsafe copy
Introduce optional
Update isGeneralizationOf
Update tests
Cosme