Function handle_state_op

pub fn handle_state_op<'tcx>(
    left: &StateType<'tcx>,
    op: &Op,
    right: &StateType<'tcx>,
) -> bool