Detect variance constraints

add detection of definition-site variance constraints of formal parameters in nitmetrics.