[K-Bug] NullPointerException when kompiling simple file

[VCherukuri8]

What component is the issue in?

None

Which command

• kompile
• kast
• krun
• kprove
• kprovex
• ksearch

What K Version?

v7.1.170

Operating System

Linux

K Definitions (If Possible)

module INTEGERS-SYNTAX
imports INT-SYNTAX

   syntax Addr ::= r" [\\+|\\-] " [token]
   syntax Mulx ::= r" [\\*|/] " [token]

   syntax Exp ::= "(" Exp ")" [bracket]
                  > Int [group(uneg)]
                  > left:
                  Exp Mulx Exp [group(muls), function]
                 | Exp Addr Exp [group(adds), function]

   syntax priority uneg > muls > adds

endmodule

module INTEGERS
imports INTEGERS-SYNTAX
imports INT

   rule A + B => A +Int B
   rule A - B => A -Int B
   rule A * B => A *Int B
   rule A / B => A /Int B

endmodule

Steps to Reproduce

literally just kompile this file and it'll cause the bug

Expected Results

I expected it to compile successfully