Which interpretation is best supported for muḥill and muḥrim?

They mean exactly the same thing
They name two trees
They merely name two mountains
Contrasting permitted/sacred states, with interpretive alternatives in the commentary