Activate finding of variable bounds.
Add some debugging output.