Some (GA.Dot(floc))));
GA.Executable(floc,GA.Tactical(floc, GA.Try(floc,
GA.Tactic (floc, GA.Assumption floc)), Some (GA.Dot(floc))))
Some (GA.Dot(floc))));
GA.Executable(floc,GA.Tactical(floc, GA.Try(floc,
GA.Tactic (floc, GA.Assumption floc)), Some (GA.Dot(floc))))