Macro push_index_if_explain

macro_rules! push_index_if_explain {
    ($this:ident) => { ... };
}