Two-Stage Technique for LTLf Synthesis Under LTL Assumptions