oops there's a remaining print
change that test to not rely on better simplification than we can currently do