Added some logic for managing distinctions between domains with state
object name dependence and independence, which is important for working
with parameterized actions.