This ‘CriticalFun’ test failed, and CTX complains that \setupsynchronize was never defined (see the log,