* limit SynchroProcedure maxc to level

* prune check for level in SynMixCheckRecursive

* add Auxiliary.SynGroupCheckLevelAddition

* check for goal before doing recursive when full mat group is provided