Added final variables

graph domain now contains final variables