Framework breakpoint fixes and other details
Merge pull request #1 from FiatInsight/ie-fixes

Framework breakpoint fixes and other details