import de.uni_passau.spl.bytecodecomposer.stubs.Stub;
import java.util.HashMap;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.Collection;
public class pattern extends gObj {
    @Stub
    public static java.util.HashMap Ttable;
    @Stub
    public node formula;
}
