Use types in program statements to make graph edges more specific, and avoid creating...