IR: Conservatively verify inalloca arguments