Generalizing LTL Instructions via Future Dependent Options