[hibernate-issues] [Hibernate-JIRA] (BVAL-347) Add implicit assumptions from TCK to spec text