add a case-> contract example