Update simplecheck interface to agree with new resolving