Lifting  created using internal compressed clauses