JS: Avoid completing non-identifiers.
JS static type inference is there now.
JS: property analysis of function calls.