Expand description
Remove global variables from the program by translating them into constructors, making proof generation easier. Does not support primitive-valued globals.
Remove global variables from the program by translating them into constructors, making proof generation easier. Does not support primitive-valued globals.