Fix satisfiable

Added the condition of not sorting dictionary when its keys are the instances of "Symbol" which was causing the error in satisfiable
Fixed #37