Add test cases for bounds propagation and interepreter.