Added count-inference for arguments.
Added include-property