Well, CTL* is not LTL, so that the LTL tool cannot handle CTL* formulas. However, for structures that have no branching, i.e., where every state has only one successor state, the CTL* and LTL formulas coincide. For the above, that is however not the case. So, there is no tool support for that kind of question as of now. It is also not planned at the moment.