Now an lengthly inference can be terminated by using "Cancel".