Using Lifting for Conversations between Total and Partial Functions