added an initial configuration pattern for testing instantiation of variable with sort Id