Errors for missing SMACK & Boogie.