- added new semantic checks on contract/property/contraint editors
- moved ChessSystemModel in chess.service plugin because it is used in
different classes
- removed duplicated code

Change-Id: I56c8900fbbfad3f25761fa63d1e36ede32a34ebe
Signed-off-by: Alberto Debiasi <adebiasi@fbk.eu>