let lhs_of (a, _, _) = a