Debugging detectFaults