Signature checking in (fdecl) rule.