On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems. - Yoshiaki Kanazawa; Naoki Nishida 001 (WPTE@FSCD, 2018)