
ptemp := alw_[0,10]((Temp[t] - Temp1[t])*(Temp[t] - Temp1[t]) < 400)
pFCI :=  (FCI[t] - FCI1[t])*(FCI[t] - FCI1[t]) < 10000
pAFR :=  (AFR_actual[t] - AFR_actual1[t])*(AFR_actual[t] - AFR_actual1[t]) < 40000
input_diff := ptemp and pFCI
good_APC := alw_[0,10](input_diff => pAFR)

not_good_FTF := not (good_APC)
