Cyclic Abduction of Inductively Defined Safety and Termination Preconditions