tqecd.predicates# Functions does_not_contain_combined_gates(circuit) has_well_defined_moments(circuit) is_valid_input_circuit(circuit)