USERDATA: add support for multiple-register variable introductions

[sipma]

Several ARM instructions assign multiple registers in a single instructions, e.g., all of the LDMxx instructions. The current implementation for the introduction of register variables assumes that a single (known) register is being assigned to per instruction.

testcase: malloc_overflow_work_O2_lifting_bug_report_04_19