Now the only thing needed to make the analysis work is to migrate the
abstract analysis engine.