Disclosed is an occlusion device for use in a body lumen such as the left atrial appendage. The lamp order form is automatically generated and displayed to include lamp usage and projector identification information so that a user need not manually input that information into an order form. The combinatorial logic for operand translation of N FP instructions per clock cycle may require N instantiated copies of a combinatorial logic block. The position of the yielding wall is locked when the infusion chamber is closed, preventing the liquid flow from and into the variable volume chamber filled with liquid. Thus, the identification of animals of the desired genotype allows for the selection against animals with a genetic predisposition to boar taint, this being an attractive, cost effective and humane solution to the boar taint problem.