Invert the logic of reachesChainWithoutSideEffects(). What we want to check is that...