Re-enable proof extraction