How to debug NSpec