We may visit a call that uses an alloca multiple times in callUsesLocalStack, sometim...