Begin debugging Infer.hs