Lifting and separation of robust cover inequalities