Add semantic check to guarantee no collisions when projecting (i.e., it forbids to project different values to the same identifier)
Merge pull request #2410 from davidegrohmann/projection-collision

Add semantic check to guarantee no collisions when projecting