Jail SiliconSnark (JAIL SNARK)