noAssertions
used when no state table variables are changed.