Freeness Analysis for Logic Programs - And Correctness?