refactor getVar
minor
remove offset
refactoring
ensure singleton on subproblem
fix
fix subprob
fix
fix