void notifyChange(){
  notifyChange(inferencevars.diff(restvars()));
}

void notifyChange ( ) { notifyChange ( inferencevars . diff ( restvars ( ) ) ) ; }
mark the inference context as complete and trigger evaluation of all deferred checks .
