In progress of implementing getFeasibleSuccessors