add ANF to showing compilation
no more captureExn
short-circuiting tests