Add destructing in [if]