A general approach to derive uncontrolled reversible semantics