Add trace statements to all of the functions that correspond to a judgement