/verigraph/src/main/java/it/polito/escape/verify/model/