standalone resolution proof
basic test for proof checker
test and fix proof construction
rename to Inference
proof printer to dot
proof to dot printer
proof to string printer