f_start f_start f_toConformance f_toConformance f_toRecordConformance f_toRecordConformance f_toDeviationsGw f_toDeviationsGw f_deviations f_noDeviations f_deviations f_toConformanceAck f_toConformanceAck f_ackToSynthesize f_noDeviations f_ackToSynthesize f_toRecord f_toRecord f_toEnd f_toEnd =hasDeviations = true