Added SIW algorithm, General Serialized Search, Reachability reasoning with h_1 h_2: 0 or inf fixpoint, extra ordering among goals in landmark graph