- simple test cases for reflection static verification implemented;