Applies to
TTPL_BaseWrapper

Declaration
property HasPostconditions: Boolean;