Optimized L*-based Assume