mutable lhs = (l:hlpsl_state)