sp.disable_function.function("strpos").ret("0").simulation().drop();
sp.disable_function.function("stripos").ret("0").simulation().drop().alias("1");
sp.disable_function.function("strcmp").ret("0").drop();