fix enumerated problem

* need new SFC Reader
Add variable dependency in SMV