Add options to avoid chains and omit conclusions in the proof format.