Implicit Solution Checker