refactorization to detet unbounded variables