code: @Override
  	public boolean check(WyilFile wf) {
  		for (Decl decl : wf.getModule().getUnits()) {
  			checkDeclaration(decl);
  		}
  		return status;
  	}
docs: =========================================================================