New "strict funcs" checking. Much simpler and hopefully easier to teach than the old but more advanced algorithm that can/could be found in varpartitions.nim.
proc isDangerousLocation(n: PNode; owner: PSym): bool {....raises: [Exception], tags: [RootEffect], forbids: [].}