change desugar-check to return the value of the checks rather than prinitng