Extended Forward Implications and Dual Recurrence Relations to Identify Sequentially Untestable Faults