This package contains classes that expose various analyses as tools compatible with bandera toolkit API.