(PUP-1270) add tests for implicit version ensures