LHS pattern elaboration for STG target using case trees.