Check that the given atomic statements are well formed and do not break any rules. If they do not verify, this throw an error.
Optional
Generated using TypeDoc
Check that the given atomic statements are well formed and do not break any rules. If they do not verify, this throw an error.