Being one of the victims of ocd I can say depression is not necessarly the cause of ocd. By his symptoms he clearly has obeesssibe thougths and compulsion he does to ease them the only sad part with us is those retuals we do do not ease the obssessive thoughts forever and they come bqck again . And it keeps going on a circle. I have a very fulfilling happy social and fam life but I still suffer from this. Please see the link I posted and try some mindfulness meditation for few montha. The meditation will give u power over ir thoughts and u will find relief.