Update LustreUtil to add additional support for expressions (#42)
Update LustreUtil to add additional support for expressions (#42)


lgwagner/jkind,andrewkatis/jkind-1,lgwagner/jkind,andrewkatis/jkind-1,agacek/jkind,agacek/jkind