updated tensor-var & declare-func system
updated tensor-var & declare-func system