Fixed ScalaCheck property using boolean premise