added complement to approximateboolean with property test