[analyzer] Handle the dot syntax for properties in the ExprEngine.