Nicer clause test cases
Nicer lit copying function for clause