IFCW

Fix some failed unit tests from #1307 (actually, the PR's number is very good :) )
The word 'result' seems a bit confusing, because I would expect it to be an analysis result. Maybe rather something along the line of 'hazards'?