Check a PFA abstract syntax tree for semantic errors using a titus.pfaast.NoTask to avoid unnecessary work.
Raises an exception if the document is not valid.
| Parameters: | 
  | 
|---|---|
| Return type: | None  | 
| Returns: | nothing if the PFA document is valid; raises an exception otherwise  |