FRAPpuccino: Fault-detection through Runtime Analysis of Provenance