Grammar version checker in duplicate detector and sub-model reuse

The duplicate detector will catch any duplicates between models, even if they were processed with different grammar versions. However since it has no grammar version/ compatibility detection, passing a duplicate check does not mean models are compatible. Because the source and target models could diverge due to varying grammars, it can be unsafe to rely only on simple duplicate checks between models.

An implementation to verify model grammar version/compatibility along duplicates could be useful for safer variable reuse.

Another case which needs version checker is sub-model reuse (syntax var@model_uuid).