else {
else if (hasContents()) {
    public Type typeCheck(SymbolTable stable) throws TypeCheckError {	// Type check the 'select' expression if present	if (_select != null) {	    _type = _select.typeCheck(stable);	}	// Type check the element contents otherwise	else {	    typeCheckContents(stable);	    _type = Type.ResultTree;	}	// The return type is void as the variable element does not leave	// anything on the JVM's stack. The '_type' global will be returned	// by the references to this variable, and not by the variable itself.	return Type.Void;    }