mark applications and function boundaries
add a function component to all runtime values