calculation of non-essential inference steps by connectivity to solution task