Program must be ground before sent to SAT solver