Fixed class cast issue with type synonyms
Added option to avoid unrolling irreducible loops
Fixed bug in abstract interpretation over reals