abstract interpretation ramblings