Revert "fix a bug in asynchronous G&C model generator"

This reverts commit 16d3648c8fd5e6733a43e6967c85d3be255ce7c8.
Revert "Revert "fix a bug in asynchronous G&C model generator""

This reverts commit 6e40b4d4fc348a577194e2106ec315eed79593d8.
add possibility to add aux input predicate to auxiliaries
Merge branch 'master' of github.com:hexhex/core
merge
Merge branch 'master' of github.com:hexhex/core
fix welljustified semantics
fix welljustified semantics
start implementing attribute dependency graph
start implementing attribute dependency graph
update AttributeGraph
update AttributeGraph
add eval heuristic monolithic
Merge branch 'master' of github.com:hexhex/core
update monolithic heuristic
update domain-expansion safety
Merge branch 'master' of github.com:hexhex/core
fix welljustified semantics
update AttributeGraph
add another UFS learning strategy