Support as-expected checks for composite values, and use that power from the path condition assertion code.