Fix the counting constraints in the primal dual

[DariusNafar]

1. Add 4 methods of counting constraints conversion
2. Add test cases for all of them
3. Add the input variable to the primal dual program