convergence checker and default precondition added