make or/c and contract-stronger? collaborate

in order to make contract-stronger? work better when given the result of or/c