non-state changing iffs, guard agains borrowing by the owner

added some iffs for situations that do not change state, and also an additional guard (with Java Juice)