{"types":{},"status":"unsafe","errors":[{"start":{"line":9,"column":9},"stop":{"line":9,"column":29},"message":"alpha_equiv can be further reduced!"}]}

**** Errors found! *************************************************************