Fixed 3 bugs: satisfy when something inserted, empty delta not propagated, more clones to avoid aheadstructure modification by lookahead (matches)
Refactored constraint enumerator, now works better, but cost guess missing from advanced
Treat enumerator getSize works as expected (maybe)
Match all the patterns! 'easier' to '''maintain'''