Test coverability state
ind = iscoverable(node_tree,x)
This function is used to test coverability state. If there exist state in coverability tree that covers x then x is coverable. If there are no state in coverability that covers x then x is not coverable. If x is coverable this function returns row vector contains node's indices where its states covers x. If x is not coverable then this function returns empty vector.