Added prop checks for hypothesis