BoundsChecker constructor

1. anteater package
2. documentation
3. reasoner/abstract/bounds_checker
4. BoundsChecker
5. BoundsChecker.new constructor

BoundsChecker class