Khaled, wouldn't it make sense for state of $v1 and $v2 ($ifmatch) to be updated in relation to the actual intelligence of if-condition success and failure processing? What people are asking is, if the mSL engine is still able to determine the ultimate success and failure of the /if statements without breakage, then why are $v1 and $v2 left stranded in another dimension?
It's as if $v1 and $v2 are being determined in an entirely separate parsing of the script line, given the inconsistencies between success of /if and fail of $v1/$v2.
