declared forceable and watchable variables for this solver