IsSovable and Trace function implemented