Remove superfluous contexts from specs
Make DEFAULT_CONSTRAINT a module variable