Applies to
TTPL_Base

Declaration
property HasPostconditions: Boolean;