{"errors":[{"component":"general","errorCode":"1180","formattedMessage":"Info: Contract invariant(s) for A:test:
((x <= 0) || true)


","message":"Contract invariant(s) for A:test:
((x <= 0) || true)
","severity":"info","type":"Info"}],"sources":{"A":{"id":0}}}