ddc-core-simpl: Thread: thread state through simple cases, assuming scrutinee is pure (true if it's been converted to ANF?)