Count both integer and Boolean variables
Merge pull request #40 from chsticksel/kind2-server

Count both integer and Boolean variables