Renamed to TestModifies and TestFollows