Add constraint between concret et structural
Edit Test to catch exceptions