Revise is_neg and dest_neg
Jump back to convert dest_imp function