Merge pr #65: added bounds query generalizing inf and sup in one check

Merge pr #65: added bounds query generalizing inf and sup in one check #249