residualize :: (ConsPDTree, G S, [S]) -> Program
residualize (Fail, goal, names) = Program [] (generateGoal goal names)
residualize :: (ConsPDTree, G S, [S]) -> Program
residualize (Fail, goal, names) = Program [] (generateGoal goal names)
residualize (Fail, goal, names) = Program [] (generateGoal goal names)