go-to-definition with test cases