Fixed bug in filtering of variables that made ground atom variables part of the quantification, which then caused the OOM error. OOM error fixed now, but eval of vector still seems empty.