-puts "TODO OCC12345 ALL: OCC902 Faulty"
-
puts "======="
puts "OCC902"
puts "======="
set we_have [lindex $list 8]
puts "we_have = $we_have"
-set must_be_1 "Exp($arg)*$arg"
+set must_be_1 "Exp($arg*x)*$arg"
puts "must_be_1 = $must_be_1"
-set must_be_2 "$arg*Exp($arg)"
+set must_be_2 "$arg*Exp($arg*x)"
puts "must_be_2 = $must_be_2"
if {[string compare $we_have $must_be_1] == 0} {