Abstraction of tests and random rewrites for effects
Tests for normalization of effects