Relaxed Conditions of Exchange on Mechanism for Exchanging Parts of Executed Program