------------------- - inductive minimization inside extend (-m=2 and -m=3) - extend no longer support returning more than one learned clause - removed the flag for multiple extensions and simplified the code accordingly - noop_from_current is now the only possibility for ensuring monotonicity (the flag was removed) - resolved compiler issues (see makefile)