simplify generated code for tachyon check