This class answers the question why does the given symbol have a particular value,
it shows all arguments of PrimOPs and should only show any symbols value once.
Muxes only show the expanded derivation of the branch taken
Display goes from top to bottom since it is usually the top value one wants
to see that is rendered last.
This class answers the question why does the given symbol have a particular value, it shows all arguments of PrimOPs and should only show any symbols value once. Muxes only show the expanded derivation of the branch taken Display goes from top to bottom since it is usually the top value one wants to see that is rendered last.