correctly handle ::resovled-op in analyze+eval