Added additional phase of defunctionalization of delimcc transitions