added assert-violation
added letrec*