store logic-test conditions in intermediates