code: private String getVariable(GDLParser.HeaderContext header) {
      if (header != null && header.Identifier() != null) {
        return header.Identifier().getText();
      }
      return null;
    }
docs: Returns the element variable from a given header context.
  
  @param header header context
  @return element variable or {@code null} if context was null