Tool for simplifying and canonizing lparse answer set programs