this is a fix for #255 on the Mac side but Linux still doesnt work
Merge remote-tracking branch 'origin/pvj/main' into ncb/development
 Problem with type checking patterns, fixes #321
Renaming of IR pattern package
Restructured IR such that nodes can have a reference for their corresponding VDM node
Removed codegen testing output
Attached the corresponding VDM node to every IR node