IBS Invariant Check added - and failing :)