Added recipe for prooftree