added complement, isComplement, is Edgeless and modified test accordingly