rename_stage: Rename stage(s) in staged event tree
Description
Change the name of a stage in a staged event tree.
Usage
rename_stage(object, var, stage, new)
Arguments
var
name of a variable in object.
stage
name of the stage to be renamed.
Value
a staged event tree object where stages stage
have been renamed to new.
Details
No internal checks are performed and as side effect
stages can be joined, if e.g. new is equal to the name
of a stage for variable var.