Both scalars and non-scalars are instrumented, with scalars instrumented close to their definition and non-scalar instrumented just before their use (because we cannot determine the correct definition of non-scalar variables).