fixes ReplayDetectionBasic StaticFunction,
fixes StaticFunctions.