Finding and Exploiting LTL Trajectory Constraints in Heuristic Search