Module Transition_frontier.Extensions