PB constraints test file