Function to query opaque dominance object.
Module for computing places to put phi functions.