# 1) global parameter with no dependencies
INTEGER a1 ~ user_dist_1(3)

# 2) a2 -> b2, both global
INTEGER a2 ~ user_dist_2(4)
INTEGER b2 ~ user_dist_2-(a2)

# 3) one-dim parameter with no depencencies
ENTITY e3, ""
{
    INTEGER a3 ~ user_dist_3(5)
}

# 4) a4 -> b4, a4 global and b4 one-dim
INTEGER a4 ~ user_dist_4(6)
ENTITY e4, ""
{
    INTEGER b4 ~ user_dist_4-(a4)
}

# 5) a5 -> b5, both one-dim
ENTITY e5, ""
{
    INTEGER a5 ~ user_dist_5(7)
    INTEGER b5 ~ user_dist_5-(a5)
}

# 6) two-dim parameter with no depencencies
ENTITY e6y, "" { }
ENTITY e6x, "" { }
ENTITY e6, "", combines(e6y, e6x)
{
    INTEGER a6 ~ user_dist_3(5)
}

# 7) a7 -> b7, a7 global and b7 two-dim
INTEGER a7 ~ user_dist_7(8)
ENTITY e7y, "" { }
ENTITY e7x, "" { }
ENTITY e7, "", combines(e7y, e7x)
{
    INTEGER b7 ~ user_dist_7-(a7)
}

# 8) a8 -> b8, a8 one-dim and b8 two-dim (case y)
ENTITY e8y, "" 
{
    INTEGER a8 ~ user_dist_8(9)
}
ENTITY e8x, "" { }
ENTITY e8, "", combines(e8y, e8x)
{
    INTEGER b8 ~ user_dist_8-(a8)
}

# 9) a9 -> b9, a9 one-dim and b9 two-dim (case x)
ENTITY e9y, "" { }
ENTITY e9x, "" 
{
    INTEGER a9 ~ user_dist_9(10)
}
ENTITY e9, "", combines(e9y, e9x)
{
    INTEGER b9 ~ user_dist_9-(a9)
}

# 9) a10 -> b10, both two-dim
ENTITY e10y, "" { }
ENTITY e10x, "" { }
ENTITY e10, "", combines(e10y, e10x)
{
    INTEGER a10 ~ user_dist_10(10)
    INTEGER b10 ~ user_dist_10-(a10)
}