Reading project file program.prj...
Running the test...
 UNKNOWN1 
Battery1
Battery2
Cap
Flashlight
 UNKNOWN2 
Cap
Flashlight
Cap
Flashlight
Cap
Flashlight
Cap
Flashlight
Cap
Flashlight
Battery1
Flashlight
Battery1
Flashlight
Cap
Flashlight
Battery2
Flashlight
Battery2
Flashlight
Cap
Flashlight
Cap
Flashlight
Battery1
Flashlight
Battery2
Flashlight
 UNKNOWN3 
On
In
 UNKNOWN4 
On
On
On
On
On
In
In
On
In
In
On
On
In
In
The number of operators defined by the plan 
4
: Plans  (
	<plan_set> : Plan_Set  {
		<first> : Nonempty_Plan_Set  (
			<it> : Plan  (
				<objects> : Obj_Set  {
					<first> : Nonempty_Obj_Set  (
						<it> : Obj  (
							<ident>  : Ident "Battery1" )
						<next> : Nonempty_Obj_Set  (
							<it> : Obj  (
								<ident>  : Ident "Battery2" )
							<next> : Nonempty_Obj_Set  (
								<it> : Obj  (
									<ident>  : Ident "Cap" )
								<next> : Nonempty_Obj_Set  (
									<it> : Obj  (
										<ident>  : Ident "Flashlight" ) ) ) ) ) }
				<predicates> : PredName_Set  {
					<first> : Nonempty_PredName_Set  (
						<it> : PredName  (
							<ident>  : Ident "On" )
						<next> : Nonempty_PredName_Set  (
							<it> : PredName  (
								<ident>  : Ident "In" ) ) ) }
				<operators> : Op_Set  {
					<first> : Nonempty_Op_Set  (
						<it> : Op  (
							<opname> : OpName  (
								<ident>  : Ident "PlaceCap" )
							<preconditions> : Literal_Set  {
								<first> : Nonempty_Literal_Set  (
									<it> : NegLit  (
										<predname> : PredName  (
											<ident>  : Ident "On" )
										<args> : Obj_Set  {
											<first> : Nonempty_Obj_Set  (
												<it> : Obj  (
													<ident>  : Ident "Cap" )
												<next> : Nonempty_Obj_Set  (
													<it> : Obj  (
														<ident>  : Ident "Flashlight" ) ) ) } ) ) }
							<effects> : Literal_Set  {
								<first> : Nonempty_Literal_Set  (
									<it> : PosLit  (
										<predname> : PredName  (
											<ident>  : Ident "On" )
										<args> : Obj_Set  {
											<first> : Nonempty_Obj_Set  (
												<it> : Obj  (
													<ident>  : Ident "Cap" )
												<next> : Nonempty_Obj_Set  (
													<it> : Obj  (
														<ident>  : Ident "Flashlight" ) ) ) } ) ) } )
						<next> : Nonempty_Op_Set  (
							<it> : Op  (
								<opname> : OpName  (
									<ident>  : Ident "RemoveCap" )
								<preconditions> : Literal_Set  {
									<first> : Nonempty_Literal_Set  (
										<it> : PosLit  (
											<predname> : PredName  (
												<ident>  : Ident "On" )
											<args> : Obj_Set  {
												<first> : Nonempty_Obj_Set  (
													<it> : Obj  (
														<ident>  : Ident "Cap" )
													<next> : Nonempty_Obj_Set  (
														<it> : Obj  (
															<ident>  : Ident "Flashlight" ) ) ) } ) ) }
								<effects> : Literal_Set  {
									<first> : Nonempty_Literal_Set  (
										<it> : NegLit  (
											<predname> : PredName  (
												<ident>  : Ident "On" )
											<args> : Obj_Set  {
												<first> : Nonempty_Obj_Set  (
													<it> : Obj  (
														<ident>  : Ident "Cap" )
													<next> : Nonempty_Obj_Set  (
														<it> : Obj  (
															<ident>  : Ident "Flashlight" ) ) ) } ) ) } )
							<next> : Nonempty_Op_Set  (
								<it> : Op  (
									<opname> : OpName  (
										<ident>  : Ident "Insert1" )
									<preconditions> : Literal_Set  {
										<first> : Nonempty_Literal_Set  (
											<it> : NegLit  (
												<predname> : PredName  (
													<ident>  : Ident "On" )
												<args> : Obj_Set  {
													<first> : Nonempty_Obj_Set  (
														<it> : Obj  (
															<ident>  : Ident "Cap" )
														<next> : Nonempty_Obj_Set  (
															<it> : Obj  (
																<ident>  : Ident "Flashlight" ) ) ) } )
											<next> : Nonempty_Literal_Set  (
												<it> : NegLit  (
													<predname> : PredName  (
														<ident>  : Ident "In" )
													<args> : Obj_Set  {
														<first> : Nonempty_Obj_Set  (
															<it> : Obj  (
																<ident>  : Ident "Battery1" )
															<next> : Nonempty_Obj_Set  (
																<it> : Obj  (
																	<ident>  : Ident "Flashlight" ) ) ) } ) ) ) }
									<effects> : Literal_Set  {
										<first> : Nonempty_Literal_Set  (
											<it> : PosLit  (
												<predname> : PredName  (
													<ident>  : Ident "In" )
												<args> : Obj_Set  {
													<first> : Nonempty_Obj_Set  (
														<it> : Obj  (
															<ident>  : Ident "Battery1" )
														<next> : Nonempty_Obj_Set  (
															<it> : Obj  (
																<ident>  : Ident "Flashlight" ) ) ) } ) ) } )
								<next> : Nonempty_Op_Set  (
									<it> : Op  (
										<opname> : OpName  (
											<ident>  : Ident "Insert2" )
										<preconditions> : Literal_Set  {
											<first> : Nonempty_Literal_Set  (
												<it> : NegLit  (
													<predname> : PredName  (
														<ident>  : Ident "On" )
													<args> : Obj_Set  {
														<first> : Nonempty_Obj_Set  (
															<it> : Obj  (
																<ident>  : Ident "Cap" )
															<next> : Nonempty_Obj_Set  (
																<it> : Obj  (
																	<ident>  : Ident "Flashlight" ) ) ) } )
												<next> : Nonempty_Literal_Set  (
													<it> : NegLit  (
														<predname> : PredName  (
															<ident>  : Ident "In" )
														<args> : Obj_Set  {
															<first> : Nonempty_Obj_Set  (
																<it> : Obj  (
																	<ident>  : Ident "Battery2" )
																<next> : Nonempty_Obj_Set  (
																	<it> : Obj  (
																		<ident>  : Ident "Flashlight" ) ) ) } ) ) ) }
										<effects> : Literal_Set  {
											<first> : Nonempty_Literal_Set  (
												<it> : PosLit  (
													<predname> : PredName  (
														<ident>  : Ident "In" )
													<args> : Obj_Set  {
														<first> : Nonempty_Obj_Set  (
															<it> : Obj  (
																<ident>  : Ident "Battery2" )
															<next> : Nonempty_Obj_Set  (
																<it> : Obj  (
																	<ident>  : Ident "Flashlight" ) ) ) } ) ) } ) ) ) ) ) }
				<initial> : PosLit_Set  {
					<first> : Nonempty_PosLit_Set  (
						<it> : PosLit  (
							<predname> : PredName  (
								<ident>  : Ident "On" )
							<args> : Obj_Set  {
								<first> : Nonempty_Obj_Set  (
									<it> : Obj  (
										<ident>  : Ident "Cap" )
									<next> : Nonempty_Obj_Set  (
										<it> : Obj  (
											<ident>  : Ident "Flashlight" ) ) ) } ) ) }
				<goal> : Literal_Set  {
					<first> : Nonempty_Literal_Set  (
						<it> : PosLit  (
							<predname> : PredName  (
								<ident>  : Ident "On" )
							<args> : Obj_Set  {
								<first> : Nonempty_Obj_Set  (
									<it> : Obj  (
										<ident>  : Ident "Cap" )
									<next> : Nonempty_Obj_Set  (
										<it> : Obj  (
											<ident>  : Ident "Flashlight" ) ) ) } )
						<next> : Nonempty_Literal_Set  (
							<it> : PosLit  (
								<predname> : PredName  (
									<ident>  : Ident "In" )
								<args> : Obj_Set  {
									<first> : Nonempty_Obj_Set  (
										<it> : Obj  (
											<ident>  : Ident "Battery1" )
										<next> : Nonempty_Obj_Set  (
											<it> : Obj  (
												<ident>  : Ident "Flashlight" ) ) ) } )
							<next> : Nonempty_Literal_Set  (
								<it> : PosLit  (
									<predname> : PredName  (
										<ident>  : Ident "In" )
									<args> : Obj_Set  {
										<first> : Nonempty_Obj_Set  (
											<it> : Obj  (
												<ident>  : Ident "Battery2" )
											<next> : Nonempty_Obj_Set  (
												<it> : Obj  (
													<ident>  : Ident "Flashlight" ) ) ) } ) ) ) ) }
				<opname_set> : OpName_Set  {
					<first> : Nonempty_OpName_Set  (
						<it> : OpName  (
							<ident>  : Ident "RemoveCap" )
						<next> : Nonempty_OpName_Set  (
							<it> : OpName  (
								<ident>  : Ident "Insert1" )
							<next> : Nonempty_OpName_Set  (
								<it> : OpName  (
									<ident>  : Ident "Insert2" )
								<next> : Nonempty_OpName_Set  (
									<it> : OpName  (
										<ident>  : Ident "PlaceCap" ) ) ) ) ) } ) ) } )done