Added CanBeDuplicated(). It returns true if an instruction can be safely duplicated...