Predicate remove_prefix_before_substring

Removes everything up to the occurrence of sub in the string str

Import path

import semmle.python.TestUtils

string remove_prefix_before_substring(string str, string sub)