Class AnchorVariableListener<Solution_>