Bootstrap: moved restrictions to another file. Ignore calls that have NoReturn as types.