enabled model checking to be used for implicit function solving
updated the prob model checker to be able to solve implicit functions