BadRPLRoot.java

/**
 * Bad RPLs
 * 
 * @author Rob Bocchino
 */
public class BadRPLRoot {

    region r;

    // Root not in first position
    int x in r : Root;

}