In reply to jyoveda:
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;});
That is incorrect. Use:
assert(tx.randomize() with {variable_min==local::variable_min;});