A²I: abstract² interpretation