fixed the problem with introducing unnecessary variables
fixed the problem with introducing unnecessary variables

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