reintroduce question group
more stable resolution
more builders
type check derived values
determinism check
pp aterm
fix determinism analysis
retain references long enough
fix metamodel name
TODO: use SAT solver
bugfix SAT; provide special analysis declaration