add a simple test for synthspec
bugfix: abund was not declared