clear variable section (touch c++11 compile option)
modify sas model formulation, but in bug
debug: initial state constraint