[dev] optimize demodulation by delaying some checks (in "restrict")
[dev] optimize demodulation by delaying some checks (in "restrict")

c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition,c-cube/zipperposition