	CHECKING na : [Param1=FreeVariable (variable) , Param2=FreeVariable (variable) , ]
	PASSED na : [Param1=d (variable) , Param2=c (variable) , ]
	CHECKING na : [Param1=FreeVariable (variable) , Param2=d, ]
	FAILED na : [Param1=FreeVariable (variable) , Param2=d, ]

	PASSED na : [Param1=c (variable) , Param2=a (variable) , ]
	CHECKING na : [Param1=FreeVariable (variable) , Param2=c, ]
	PASSED na : [Param1=d (variable) , Param2=c, ]