| FUNCTION acyclic_versioned_action_request_relationship (relation : versioned_action_request_relationship, relatives : SET [0:?] OF versioned_action_request, specific_relation : STRING) : BOOLEAN;
 
 LOCALEND_FUNCTION; -- acyclic_versioned_action_request_relationshipx : SET OF versioned_action_request_relationship;
 END_LOCAL;
 
 IF  relation.relating_versioned_action_request IN  relatives THEN
 RETURN  (FALSE);
 END_IF;
 x := QUERY(varr <* bag_to_set(USEDIN(relation.relating_versioned_action_request, 'ACTION_SCHEMA.' + 'VERSIONED_ACTION_REQUEST_RELATIONSHIP.' + 'RELATED_VERSIONED_ACTION_REQUEST')) | specific_relation IN TYPEOF(varr));
 REPEAT i := 1 TO HIINDEX(x);
 IF NOT acyclic_versioned_action_request_relationship(x[i], relatives + relation.relating_versioned_action_request, specific_relation) THEN
 RETURN  (FALSE);
 END_IF;
 END_REPEAT;
 RETURN (TRUE);
 
 |