execute procedure doc: make case in examples consistent
execute procedure doc: better 'expecting exceptions' structure
execute procedure doc: dedupe 'expecting exceptions' examples