Trace assignments from call expressions through a special sentinel variable name (not handled in runtime backend yet). Minor refactoring: share constants between runtime and instrumentation.