is macro needs to be improved

the is macro should work like the following:

All locals appearing in the right expression should be walked.