COFFEE: overhaul the symbolic executor system