add pass to simplify allocas, so they can better be nativized later
limit # of vars on one line
use simplify allocas pass