Revert "(DAL) Added option to use sat-solver on guards"

This reverts commit f0afd2c6b10f0d013b2f8f6454ad0c22aeb6ecdd.