- only mark unbound attributed variables in first step. - remove deterministic bindings for those variables. - mark non-deterministic bindings at mark_trail.
- only mark unbound attributed variables in first step. - remove deterministic bindings for those variables. - mark non-deterministic bindings at mark_trail.