Alias Solver know of Abstraction of pts solver