conditional_reverse
EXPRESS specification:
FUNCTION
conditional_reverse
(p : BOOLEAN; an_item : reversible_topology) : reversible_topology;
IF p THEN
RETURN (an_item);
ELSE
RETURN (topology_reversed (an_item));
END_IF;
END_FUNCTION
;