Refactoring of abstract interpretation
Intro to AI and Abstract values
Ignore .fls files