add tests for fixed SB-GMP bugs