more assertions, test files
final draft for symtab assignment