Cleaned up casting.
Simplified instruction visitor.
More SmackRep simplifications.
Merge branch 'develop' into svcomp2015