abstract-interpretation-project