Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis