Added inference tests for (nested) tuple assignments