add test for b; remove unnecessary constraint