vmm2014demo
no BOT setting allowed (returns no succ states) but BOT is allowed
everywhere(?) else
WIP (DoWhile, ArrayExpression, ThrowStatement, atomic ThisExpression,
Math.random)
removed bot param for Map.get impls; BreakStatement