VariableAnalyzer now handles call expressions like a.b().c