bindings [Var, Var, Special '=', Var, Special ';'] :: [()]