fixup: one more test corrected
complete ConeProperty preconditions