Testcases for evaluation/forcing.