creates tests for is_superadditive and passes them