add pFullModelChecker. resolve class relations in model, and diagnose when they are unsolvable