Convert Lustre variables to state variables in Kind terms