Finish the inference soundness case for constructors