SIA: more verifications + error report