added bounded variable finder