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