Now able to execute forall stmts from within LLDB.