Updated comments in church_lb.v