forbid where clause
error on specialize clause
error on sig clause
exit with 3 when an error machine is produced
default decl error
last decl error
when clock_expr failures
clock/probe var = error
lhs unit = error