store current var binding in `v_extra` to avoid PMap lookup
use PMap.empty upon branching and get rid of unused `nd_conditions` map