Iron logic

 if VerifyStructure (avDetails) == TRUE
	 bStructure = TRUE
 else
	 bStructure = FALSE

 if VerifyStatement (avDetails) == TRUE
	 bStatement = TRUE
 else
	 bStatement = FALSE

Both specification functions return strictly boolean