Some Fixed Parameter Tractability Results for Planning with Non-Acyclic Domain-Transition Graphs