QC test implication operator constructor