let is = function Propset _, _ -> true | _ -> false