ArrayIndexOutOfBound exception on non normalized WBO opb file
In WBO, non normalized constraints cause an ArrayIndexOutOfBoundsException:
java -jar dist/CUSTOM/sat4j-pb.jar CuttingPlanes ~/Downloads/bugpourevocrash2.opb
Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: Index -1 out of bounds for length 6
at org.sat4j.core.Vec.get(Vec.java:239)
at org.sat4j.pb.constraints.pb.InternalMapPBStructure.get(InternalMapPBStructure.java:102)
at org.sat4j.pb.constraints.pb.ConflictMap.isImplyingLiteral(ConflictMap.java:621)
at org.sat4j.pb.constraints.pb.ConflictMap.isAssertive(ConflictMap.java:583)
at org.sat4j.pb.core.PBSolverCP.analyzeCP(PBSolverCP.java:141)
at org.sat4j.pb.core.PBSolverCP.analyze(PBSolverCP.java:129)
at org.sat4j.minisat.core.Solver.search(Solver.java:1320)
at org.sat4j.minisat.core.Solver.isSatisfiable(Solver.java:1824)
at org.sat4j.tools.SolverDecorator.isSatisfiable(SolverDecorator.java:115)
at org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(PseudoOptDecorator.java:179)
at org.sat4j.pb.PseudoOptDecorator.admitABetterSolution(PseudoOptDecorator.java:172)
at org.sat4j.OptimizationMode.solve(OptimizationMode.java:121)
at org.sat4j.AbstractLauncher.solve(AbstractLauncher.java:318)
at org.sat4j.AbstractLauncher.run(AbstractLauncher.java:257)
at org.sat4j.pb.LanceurPseudo2007.main(LanceurPseudo2007.java:97)