Previously the analyzer requires the input TIR function signature not to have any symbolic var other than Buffer var. This behavior will throw exception whenever the input TIR function signature contains integer var or other var, while the expected behavior is to ignore these vars instead of throwing error. This PR fixes this issue.
This PR fixes a bug in TIR pattern kind analyzer.
Previously the analyzer requires the input TIR function signature not to have any symbolic var other than Buffer var. This behavior will throw exception whenever the input TIR function signature contains integer var or other var, while the expected behavior is to ignore these vars instead of throwing error. This PR fixes this issue.