Works across functions and generates simpler and faster code than #701. Works even across files when used in conjunction with runtime option.

Closes #256.