New feature. Now, problem declarations are in different files