Now references to vals are not getting inlined (but also not analyzed---can this be changed?)