[Yujun] Added TableContents as specification for assertion purpose.