C#: Use synthetic global in the EntityFramework code instead of jump steps.
Unit
import codeql.util.Unit