Added many tests checking the preconditions of corefns