Updated the movement_safe function

Updated the movement_safe function to return false if the value operand of a store instruction is a constant and is not all zeroes.