Move get satisfability to gentzen_system.