Documentation update
Update the variable faults finding algorithm to fix the bug that the faults cannot be found.
- still untested