Fixed import of the synthesis exceptions module