bindirectory. This is to prevent users from starting Workcraft by double-clicking
workcraft.jarfile, without setting necessary environment variables which is done by
.is used now as it is natively supported by Petrify and MPSat.
__and hierarchy '/' separators.
.gfiles for circuit environment.
.in IDs so it can be used as a hierarchy separator in Workcraft.
-draw_astgparameters so no need for symbolic links (or copies)
1'b0insrtead of SIS-style