Add option to toggle reformulation