Added negative edges for arguments that are pattern matched on
or appear as dot patterns.
