All fixed. RNA example is running again. I had introduced some Abstraction-refinement code in AST.h. It seems to have pushed the system to limits of memory consumption
All fixed. RNA example is running again. I had introduced some Abstraction-refinement code in AST.h. It seems to have pushed the system to limits of memory consumption

kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp