Translate tfp1 examples without properties and lint poly fol