style(coq): remove debug..
test(resourceMock): add resource mock to make test more readeable
refactor(tests): split into many files to make more readable