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

Using the satisfiability solver on the actions guards allows us to
reduce the number of false positives that are produced when analysing
actors for non-deterministic (deadlock-causing) behaviour.