fixes issue #26: properly infer memory for complex expresions in return statements
fixes issue #25: range analysis may report wrong result for ==.