elt_filter2_testvarcomp# model.elt_filter2_testvarcomp(p0: str) → int# Model: elt_filter2_testvarcomp