added more inference to make Checker succeed