FTNA_3 abolish_incomplete_subgoals -> incomplete (ok) / other (ok)