Fix Case Analysis Bug

Handle Case when case analysis is completes before it has a parent proof