self evaluating expr analyzer