revert duplicate rules in method-invoke.k