Unreturned single assignment contracts