
Compute[x_] :=
	Block[ {y},
		y = x^2;
		Assert[ y > 5];
		Sin[y]
	]
