Debugging Ciarlet, improvements Simo