Include stm-lifted