human
Here's a good function header given the following:
I wrote the below code

    class KNew(object, ):
        def m1(self, p0):
            Contract.Requires(True)
    k = KNew()
    k.m1(0)

What's a good function header?
assistant
#Here's a good function header.

@disabled('http://ironpython.codeplex.com/WorkItem/View.aspx?WorkItemId=25860')
def test_system_diagnostics_contracts():