Backward reasoning now complete with endless loop detection

	modified:   ocaml/assertion_table.ml
	modified:   ocaml/feature_table.ml