If statements
Connect assignments from variables to reads
Take into account the case of fields where the assignment could be unknown