Fixing FTs i.e. waiting before asserting ISA formula