Klever

At the moment bug kinds are totally ignored since it is assumed that we always search for reachability of one error label/function. But already now we can generate a verification task, say, for each bug kind. Later we will be able to find several bug kinds almost independently at once. Intermediate strategies that combine several bug kinds together are also possible.