/**
 * Data structure elements to build the preliminary AND/OR tree in CIL2P creation.
 */
package shef.instantiator.andortree;