Adds normalizes exception rises in Procedo to prevent "normal" computation errors. Fixes #241.
Noramlizes badly synchronization. Need to review it in 1.1. Fixes #240.