only changed BoogieVisitor, to fix the bug when PrimaryExpression does not have a type