Added check module at $PreRead. Currently NestIdx is checked.

TODO: move checks in simpF to $PreRead.