check ==> checkOrPrintAndRelease, -ast can now be used with -assert