Implemented @In, @Out, Variance and VarianceChecker