#17. if-throw to Contract.Requires conversion now converts more complicated Messages (like method calls).