Add test for when b is not constant