lts/complex_not0//complex_not0.dzn:32:7: error: code will never be executed
