Expert: Return whether this TermStates was built for the given [ ]. This is typically used for assertions.