If it is know whether the check valve will start open or closed this can simplify the initialization.
The choice NoHomotopy is useful if nothing is known for the check valve.
type CheckValveHomotopyType = enumeration(Open, Closed, NoHomotopy);