Khan/khan-exercises — pull request #8160 by smenks13 (2011-12-08 20:09:03+00:00)
Title: Systems with substitution: moved data-ensures into one block

fixes: https://github.com/Khan/khan-exercises/issues/8149