added some comments to BoogieVisitor. Need more