Corrected completion behaviour in catch() headers (2)
Reduced analysis time for ufcs from 10 to 2 seconds for each thread.