WIP tests and correctness of checkcompositelit