Add tests

Add some tests to show that `expandFixedPoint` is correct.