First improvements

The base algorithm with the easiest improvements:

• Workaround for prefSAT
• Avoid calls of prefSAT, pref and Grounded for small inputs
• Other optimizations