Constraint Successors and JUnit test