sl/symbin: handle exit() as a no-op
sl/cont_shape_var: eliminate duplicated assignments

... of shape variables
sl/cont_shape_var: honour existing assignments in forward propagation