let
make_status st =
Checked
{emitter =
"value analysis"
; valid = st}