code: function isWriteOnStateVariable (effectNode, stateVariables) {
    return isInlineAssembly(effectNode) || (isEffect(effectNode) && isStateVariable(getEffectedVariableName(effectNode), stateVariables))
  }
docs: True if node changes state of a variable or is inline assembly (Checks if variable is a state variable via provided list)
  @node {ASTNode} some AstNode
  @node {list Variable declaration} state variable declaration currently in scope
  @return {bool}