Added second attempt at guarded recursive inference algorithm. A third attempt is needed, though.