Constraint Based Verification | Desertcart JORDAN