442154dcf9
Add support for stuck expressions and provisional applicability Reviewed-by: jjg
Add support for stuck expressions and provisional applicability Reviewed-by: jjg