test-models/shared_function/shared_function.dzn:95:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:96:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:97:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:98:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:99:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:100:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:101:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:102:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:103:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:104:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:105:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:106:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:107:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:108:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:109:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:110:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:111:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:112:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:113:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:114:7: error: code will never be executed
test-models/shared_function/shared_function.dzn:115:7: error: code will never be executed
