dev(NaiveTheoremAttribute): dummyMethodInfo 로컬변수 생성

dummyMethodInfo라는 이름으로 해당 MethodInfo가 dummy라는 사실을
알려줌.
dev: 테스트 메소드에 대한 MethodInfo를 fixture factory로 넘겨줌.