Test Generation for Sequential Networks Affected by Reconvergent Fanout: a Solution based on a 9-Valued Algebraic Circuit Model