The problem could be using same name. Please use this keyword to differentiate which class they belong to.
assert(tx.randomize() with {variable_min==this.variable_min;});
The problem could be using same name. Please use this keyword to differentiate which class they belong to.
assert(tx.randomize() with {variable_min==this.variable_min;});