Matching in_shhs1 and in_shhs2 with the smaller yesno01 domain, fixes #42