Fixed error deciding whether I2 is vulnerable to satisfaction of (E).