fix of temporalInductionChain inference rule.