Applies to
TTPL_Base

Declaration
procedure EnumPostconditions;