Executing SemanticVerifier.auto_heal/1 prunes dead branches and injects verified preconditions into target semantic frames.
Executing SemanticVerifier.auto_heal/1 prunes dead branches and injects verified preconditions into target semantic frames.