complex/involved. setvl is RT_OR_ZERO which is not properly catered for in sv_analysis or in fact anywhere. down to the way that CTR mode was added.