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