fix : equality solver like sat interface