vhdl work "TypeCheck.vhd"
vhdl work "NaNCheck.vhd"
vhdl work "SpecialCasesCheck.vhd"