package soot.rtlib.tamiflex; public class OpaquePredicate { public static boolean getFalse() { return false; } }