Defining the setToTop and setToBottom functions in ReachingDefs. Also, adding comments to the code