Fix bug on deftest macro