Signature inference in (fdecl) rule.