NEW: add basic simulation helpers: compute the successor state(s)