* Automated using https://github.com/myii/ssf-formula/pull/376
template-formula
unbound-formula
BREAKING CHANGE: changed all state names and ids