Stav dette: Proof Methods for Corecursive Programs