Efficient lumpability check in partially symmetric systems