fixed abstract interpretation Bug (bounds of intervals) via over approximation (some systerel tests pass now)