Implementation of higher-order model checking tools.