Cedar.h imports SpecHelper to make it behave more as expected