Use the fault library and test for termination