Abstract interpretation project