use unlabProc
add example cpf
set top argument to False
Merge branch 'usable-rules' of https://github.com/jwaldmann/co4 into usable-rules
cpf proof with >1 reductions (not working)