Remove nondeterministic form of assignment declarations
E.g. x : int in (0<x and x<10)
(This was never implemented anyway.)