Documented syntax checker