replacing applicable structures for procedure options with chaperones + tweak-option + with-contract mode