before scope : id starts with ORD- : true
inside scope : place("alice") = ORD-FIXED@alice
inside scope : unstubbed Ids.nowMillis() = 0 (default answer, not the clock)
after scope  : id starts with ORD- and is not FIXED : true