add negative contracts on KilProperty
add comment explaining what this is used for
Merge pull request #285 from dwightguth/kilproperty

add negative contracts on KilProperty