UCT dynkomi: Clean up helper routine definitions