create alias cum_leaking (0) -> leaking_cum (65038)
create alias cum_leak (0) -> leaking_cum (65038)
create implication leaking_cum (65038) -> cum (803716)
create alias precum_leak (0) -> leaking_precum (22019)
create implication leaking_precum (22019) -> precum (216403)