Forgot to make the same explicit setting of symbolic input in the second test.