flattenCopy :: ActualParameter () -> [ActualParameter ()] -> [Expression ()] ->
               Expression () -> [Program ()]
flattenCopy _ [] [] _ = []
flattenCopy :: ActualParameter () -> [ActualParameter ()] -> [Expression ()] ->
               Expression () -> [Program ()]
flattenCopy _ [] [] _ = []
flattenCopy _ [] [] _ = []