Counter example is reported when in case of property violation for both TTS and FTTS.