Updating: fixing s3exp_var in pats_constraint3.dats