Identifying μ-formula decision trees with queries