After looking at the code I believe the predecessor of this implication is false. I think the way to find out is to write JUnit tests. Added to my personal TODO list.