On ACTL Formulas Having Linear Counterexamples