bugfix SAT; provide special analysis declaration