-- circuit_triggering option means for the first time clustering the circuit and writes the sats
 feedbacks are considered when reading back from .net