no. lift _|_ for corecursion checking again.
Current choices is, if it failed we instead assing _|_ itself.
Maybe the better choice is to give up memoization when it failed to lift...